quantified variableの例文

例文

もっと例文:   1  2  3  4  5  6  7

1. Polytypes are syntactically equal up to renaming their quantified variables.
2. In this form, all existentially-quantified variables are replaced by Skolem functions.
3. The syntax may also support the declaration of existentially quantified variables local to the let expression.
4. The sound resolution to this problem is to syntactically link these expressions to an existentially quantified variable.
5. has bounded quantification, the universally quantified variable ranges over, the existentially quantified variable ranges over the powerset of.